La pédagogie inclusive : représentations et pratiques des enseignants à l’université

Des descriptions linguistiques à leurs représentations

Vers la construction d'un observatoire des pratiques agricoles : gestion et propagation de l'imprécision des données agronomiques

Résumé. L’un des objectifs d’Observox est de traiter et gérer l’imprécision des données agronomiques tant spatialement (parcelles agricoles) et quantitativement (quantités de produits disséminées) et de toujours associer une évaluation de la qualité aux données. Aussi, nous avons choisi le cadre théorique des ensembles flous. A partir d’un modèle conceptuel gérant l’imperfection, nous construis...

D113 : une plateforme open-source dédiée à l'analyse des flux et à la détection des intrusions

L’explosion d’internet, couplée à l’effet de la mondialisation, a pour résultat d’interconnecter les personnes, les entreprises, les états. Le côté déplaisant de cette interconnexion mondiale des Systèmes d’Information réside dans un phénomène appelé "Cybercriminalité". Des personnes, des groupes mal intentionnés ont pour objectif de nuire dans un but pécuniaire ou pour une "cause", aux informa...

Contribution à la modélisation des systèmes multimédias et hypermédias

HAL is a multi-disciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers. L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau...

Utilisation des langages d'arbres pour la modélisation et la vérification des systèmes à états infinis

This document presents different tools to represent and manipulate infinitsets of tree tuples called tree tuple languages. We choose logic programming as formalismto describe tree tuple languages (i.e relations) and logic program transformation techniquesfor computing operations on them. In a first step we study a class of relation closed underusual sets operations, the class of...